approachable subset

可接近子集